#include <stdint-gcc.h>

extern volatile uint8_t uart_thr;
extern const volatile uint8_t uart_lsr;

int putchar(int c);
int puts(const char *s);
int printf(const char *format, ...);
